Abstract Homotopy Theory: The Interaction of Category Theory and Homotopy theory A revised version of the 2001 article
نویسنده
چکیده
Homotopy Theory: The Interaction of Category Theory and Homotopy theory A revised version of the 2001 article
منابع مشابه
Homotopy approximation of modules
Deleanu, Frei, and Hilton have developed the notion of generalized Adams completion in a categorical context. In this paper, we have obtained the Postnikov-like approximation of a module, with the help of a suitable set of morphisms.
متن کاملHomotopy Limits and Colimits and Enriched Homotopy Theory
Homotopy limits and colimits are homotopical replacements for the usual limits and colimits of category theory, which can be approached either using classical explicit constructions or the modern abstract machinery of derived functors. Our first goal is to explain both and show their equivalence. Our second goal is to generalize this result to enriched categories and homotopy weighted limits, s...
متن کاملHomotopical Patch Theory (expanded Version)
Homotopy type theory is an extension of Martin-Löf type theory, based on a correspondence with homotopy theory and higher category theory. In homotopy type theory, the propositional equality type becomes proof-relevant, and corresponds to paths in a space. This allows for a new class of datatypes, called higher inductive types, which are specified by constructors not only for points but also fo...
متن کاملA The equivalence of the torus and the product of two circles in homotopy type theory
Homotopy type theory is a new branch of mathematics which merges insights from abstract homotopy theory and higher category theory with those of logic and type theory. It allows us to represent a variety of mathematical objects as basic type-theoretic constructions, higher inductive types. We present a proof that in homotopy type theory, the torus is equivalent to the product of two circles. Th...
متن کاملEnriched Homotopy Quantum Field Theories and Tortile Structures
The motivation for this paper was to construct approximations to a conformal version of homotopy quantum field theory using 2-categories. A homotopy quantum field theory, as defined by Turaev in [9], is a variant of a topological quantum field theory in which manifolds come equipped with a map to some auxiliary space X . From a geometrical point of view a 1+1 dimensional homotopy quantum field ...
متن کامل